next event in [$e$,${\it bound}$] after which $x$ =$_{b}$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$next event in [$e$;${\it bound}$] after which $x$ = $b$